Gradual typing

Results: 54



#Item
21Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder

Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder

Add to Reading List

Source URL: users-cs.au.dk

Language: English - Date: 2012-09-06 15:51:54
22Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python

Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:54
23Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder

Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:50
24A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment

A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment

Add to Reading List

Source URL: s3.amazonaws.com

Language: English - Date: 2012-12-09 00:09:47
25Gradual Typing with Unification-based Inference Jeremy G. Siek Manish Vachharajani University of Colorado at Boulder

Gradual Typing with Unification-based Inference Jeremy G. Siek Manish Vachharajani University of Colorado at Boulder

Add to Reading List

Source URL: ecee.colorado.edu

Language: English - Date: 2008-06-13 13:29:10
    26Gradual Typing for Mutable Objects Jeremy G. Siek1 , Michael M. Vitousek2 , and Shashank Bharadwaj1 1 Department of Electrical, Computer, and Energy Engineering 2

    Gradual Typing for Mutable Objects Jeremy G. Siek1 , Michael M. Vitousek2 , and Shashank Bharadwaj1 1 Department of Electrical, Computer, and Energy Engineering 2

    Add to Reading List

    Source URL: ecee.colorado.edu

    Language: English - Date: 2013-05-23 12:18:33
      27Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz

      Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz

      Add to Reading List

      Source URL: www.ccs.neu.edu

      Language: English - Date: 2007-03-09 21:01:35
        28Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA

        Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA

        Add to Reading List

        Source URL: ecee.colorado.edu

        Language: English
        29Session Types with Gradual Typing Peter Thiemann University of Freiburg, Georges-Khler-Allee 079, 79110 Freiburg, Germany, Abstract. Session types enable fine-grained static control over communication p

        Session Types with Gradual Typing Peter Thiemann University of Freiburg, Georges-Khler-Allee 079, 79110 Freiburg, Germany, Abstract. Session types enable fine-grained static control over communication p

        Add to Reading List

        Source URL: www.cs.le.ac.uk

        Language: English - Date: 2014-07-28 09:33:15